DCFS 2022 - 24th International Conference on Descriptional Complexity of Formal systems

August 29 - 31, 2022, Debrecen, Hungary

Important Dates

  • Submission deadline: April 10 April 24, 2022,
  • Notification of acceptance: May 16 May 23, 2022,
  • Final version for proceedings: May 29, 2022.

 


General Information

The 24th edition of DCFS is organized by the Faculty of Informatics of the University of Debrecen, Hungary, and by the IFIP Working Group 1.02 "Descriptional Complexity". It is co-located with NCMA 2022, the 12th International Workshop on Non-Classical Models of Automata and Applications (August 26 - 27, 2022) and MCU 2022, the 9th Conference on Machines, Computations and Universality (August 31 – September 2, 2022).

The conference will take place in a hybrid format: the possibility of both, in-person and online participation will be provided.

The general website of the DFCS conference series: http://www.informatik.uni-giessen.de/dcfs/


Proceedings

The DCFS conference series with the LNCS volumes on SpringerLink: https://link.springer.com/conference/dcfs

The volume containing the proceedings of DCFS 2022 is available online at: https://link.springer.com/book/10.1007/978-3-031-13257-5


Special Issue

A special issue of the journal Theoretical Computer Science will be devoted to revised and extended versions of selected papers of the conference.


Downloads


Topics

Submissions concerning the descriptional complexity of formal systems and structures (and its applications) are invited for DCFS 2022. Original papers are sought in all aspects of descriptional complexity. Topics include, but are not limited to:

  • Automata, grammars, languages and other formal systems; various modes of operations and complexity measures.
  • Succinctness of description of objects, state-explosion-like phenomena.
  • Circuit complexity of Boolean functions and related measures.
  • Size complexity of formal systems.
  • Structural complexity of formal systems.
  • Trade-offs between computational models and mode of operation.
  • Applications of formal systems -- for instance in software and hardware testing, in dialogue systems, in systems modeling or in modeling natural languages -- and their complexity constraints.
  • Co-operating formal systems.
  • Size or structural complexity of formal systems for modeling natural languages.
  • Complexity aspects related to the combinatorics of words.
  • Descriptional complexity in resource-bounded or structure-bounded environments.
  • Structural complexity as related to descriptional complexity.
  • Frontiers between decidability and undecidability.
  • Universality and reversibility.
  • Nature-motivated (bio-inspired) architectures and unconventional models of computing.
  • Blum Static (Kolmogorov/Chaitin) complexity, algorithmic information.

Dear User!

 

The University of Debrecen considers the protection of personal data and the information provided to be of paramount importance. We hereby inform you that the University of Debrecen has reviewed its processes and incorporated the requirements of GDPR into his own data management and data protection activities, which entered mandatory on may 25,2018. The personal data of the users has been carefully handled by the University of Debrecen, it complies with the applicable data management regulations.Following the requirements of GDPR, we updated our Privacy Statement, which you can access by clicking on the link below: Privacy Policy.

I have read, understand and agree to terms.